rules of inference problems